DEC.STR[LSP,JRA] - www.SailDart.org

perm filename DEC.STR[LSP,JRA] blob sn#101896 filedate 1974-05-11 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	dec	::= struct[whole:intfract:int]
C00003 ENDMK
C⊗;
dec	::= struct[whole:int;fract:int]
int	::= seq[digit]

ev_dec[x(u,v):dec]real
 plus(ev_whole(u),ev_whole(v));

ev_whole[u:int]real
 on(u;0.0,λ[[x:digit;y:real] 10.0*y + x])

ev_fract[u:int]real
 on(u;*;0.0, λ[[x:digit;y:real] 0.1(x+y)  )